<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Conteur" rel="Chapter" href="Conteur.html"><title>Conteur.jour</title>
</head>
<body>
<code class="code"><span class="keyword">let</span>&nbsp;jour&nbsp;()&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;v_print_string&nbsp;3&nbsp;<span class="string">"Conteur:&nbsp;procédons&nbsp;au&nbsp;vote\n"</span>;<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">let</span>&nbsp;(suspect,nb_votants)=<span class="constructor">Definition</span>.appel_au_vote&nbsp;(<span class="keyword">fun</span>&nbsp;id&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;not&nbsp;(c_is_dead&nbsp;id)&nbsp;)&nbsp;(<span class="keyword">fun</span>&nbsp;(idq,contenu)<span class="keywordsign">-&gt;</span>c_is_dead&nbsp;(contenu).(0)&nbsp;<span class="comment">(*issue&nbsp;n°6*)</span>)&nbsp;c_nbjoueurs&nbsp;joueurs&nbsp;2&nbsp;!id_vote&nbsp;0&nbsp;<span class="keyword">in</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;incr&nbsp;id_vote;<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">if</span>&nbsp;nb_votants&gt;0&nbsp;<span class="comment">(*issue&nbsp;10*)</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">then</span>&nbsp;<span class="keyword">begin</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(&nbsp;v_print&nbsp;3&nbsp;<span class="string">"Conteur:&nbsp;%i&nbsp;est&nbsp;donc&nbsp;pendu&nbsp;en&nbsp;place&nbsp;publique\n"</span>&nbsp;suspect);<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(&nbsp;v_print&nbsp;3&nbsp;<span class="string">"Conteur:&nbsp;il&nbsp;révèle&nbsp;avant&nbsp;de&nbsp;monter&nbsp;sur&nbsp;l'échafaud&nbsp;qu'il&nbsp;était&nbsp;%s\n"</span>&nbsp;(perso2string&nbsp;c_whoswho.(suspect)));<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="comment">(*Le&nbsp;conteur&nbsp;informe&nbsp;les&nbsp;joueurs&nbsp;vivant&nbsp;de&nbsp;la&nbsp;mort&nbsp;et&nbsp;de&nbsp;l'identité&nbsp;de&nbsp;la&nbsp;personne&nbsp;exécutée*)</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">for</span>&nbsp;id=0&nbsp;<span class="keyword">to</span>&nbsp;c_nbjoueurs-1&nbsp;<span class="keyword">do</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">if</span>&nbsp;not&nbsp;(c_is_dead&nbsp;id)&nbsp;<span class="keyword">then</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">begin</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;joueurs.(id)<span class="keywordsign">#</span>donne_info&nbsp;(1,[|suspect;perso2int&nbsp;c_whoswho.(suspect)|]);<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;joueurs.(id)<span class="keywordsign">#</span>donne_info&nbsp;(3,[|suspect;2|])<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">done</span>;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;c_whoswho.(suspect)&lt;-&nbsp;<span class="constructor">Mort</span>&nbsp;c_whoswho.(suspect);&nbsp;<span class="comment">(*maj&nbsp;des&nbsp;infos&nbsp;du&nbsp;conteur*)</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">else</span>&nbsp;v_print_string&nbsp;4&nbsp;<span class="string">"Arbitre:&nbsp;personne&nbsp;n'est&nbsp;mort,&nbsp;car&nbsp;il&nbsp;n'ya&nbsp;eu&nbsp;aucun&nbsp;votant,&nbsp;il&nbsp;doit&nbsp;yavoir&nbsp;un&nbsp;problème&nbsp;(cf&nbsp;issue10)\n"</span></code></body></html>